Specifying and executing behavioral requirements: the play-in/play-out approach
نویسندگان
چکیده
منابع مشابه
The Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements
Two kinds of behavior in object-oriented analysis and design are identified and discussed in [1,2]: inter-object behavior, which describes the interaction between objects per scenario, and intra-object behavior, which describes the way a single object behaves under all possible circumstances. For modeling intra-object behavior, most object-oriented modeling approaches adopt statecharts [3,4]. F...
متن کاملCapturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach
A powerful methodology for specifying scenario-based requirements of reactive systems is described, in which the behavior is \played in" directly from the system's GUI or some abstract version thereof, and can then be \played out". The approach is supported and illustrated by a tool, which we call the play-engine. As the requirements are played in, the play-engine automatically generates a form...
متن کاملSmart Play-out of Behavioral Requirements
We describe a methodology for executing scenario-based requirements of reactive systems, focusing on “playing-out” the behavior using formal verification techniques for driving the execution. The methodology is implemented in full in our play-engine tool. The approach appears to be useful in many stages in the development of reactive systems, and might also pave the way to systems that are cons...
متن کاملSpecifying and Executing Protocols for Cooperative Action
The purpose of this paper is twofold: (i) to illustrate and re-emphasize the use of CONCURRENT METATEM, a programming language based on executable temporal logic, as a viable framework in which to develop Distributed Artificial Intelligence (DAI) applications; and (ii) to present a specific example of a cooperative protocol, give an outline of its implementation in CONCURRENT METATEM, and show ...
متن کاملSpecifying and Executing Reactive Scenarios With Lutin
This paper presents Lutin, a language for describing and generating random reactive behaviours. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infinite sequence of input/output reactions. More precisely, it is dedicated to the description and the execution of constrained random scenarios. Its first use is for test sequence specification an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2003
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-002-0015-5